Đồ thị con H của đồ thị G được coi là dẫn xuất nếu: với mỗi cặp đỉnh x và y của H, xy là một cạnh của H khi và chỉ khi xy là một cạnh của G. Nếu H được chọn dựa trên tập đỉnh S là tập con của V(G), thì H còn được ký hiệu là G[S] và được coi là dẫn xuất từ S.
